中文翻译与英英解释 | 【化学】原子式，结构式。
| | | atomic: adj. 1.原子的。 2.极微的。 3.强大的。 | | formula: n. (pl. formulas, -lae ) 1.公 ... | |
| In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. |
例句与用法 | 1. | The atomic formula is called atom for short in predicate calculus
在谓词演算中,有时将原子公式简称为原子。
| | 2. | Remove irrelevant atomic formulas for timed automaton model checking
时间自动机的模型检验中消除无关原子约束
| | 3. | Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
因此，无关的原子约束是广泛存在的。
| | 4. | A time constraint is a conjunction of atomic formulas which bound the differences of clock values
时间自动机是可以用于对实时系统建模的有效工具。
| | 5. | In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。
|
|